TreeView Knowledge Base Browser - Near

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Near

Sigma KEE - Near

Near

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3828-3829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17151-17152
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10144-10144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11500-11500
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11499-11499
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11497-11497
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11501-11501
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11496-11496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11498-11498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17150-17150	Near e' uma instancia de SymmetricPositionalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40035-40035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40034-40034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40033-40033
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 538-538

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processo e' uma instancia de Bleeding Entidade e' uma instancia de Morte Formula e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo Formula e' Near em relacao a AutonomousAgent o argumento Processo causa Entidade tem a forca modal de Likely Entidade Entidade e' uma instancia de Colar Entidade e' um agente de Formula Entidade termina em AutonomousAgent e' obrigado a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17154-17157	Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17159-17161	Objeto e' Near em relacao a Objeto Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 720-722	Objeto e' Near em relacao a Objeto Objeto e' Near em relacao a Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17125-17129	Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6237-6246	Objeto e' uma instancia de BodyAreaFn Parte do Corpo Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' Near em relacao a Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Media.kif 224-231	Processo e' uma instancia de InPersonCommunication Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent AutonomousAgent e' Near em relacao a AutonomousAgent vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1439-1448	Objeto e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Objeto e' uma &parte de Objeto ObjetoYE ObjetoYE e' uma instancia de Eye ObjetoYE e' uma &parte de Objeto ObjetoYE e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13304-13309	Processo e' uma instancia de Encontro Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' Near em relacao a AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto Entidade Entidade, Entidade and Entidade Objeto tem por fim Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 841-850	Objeto e' uma instancia de PortCity Objeto Objeto e' uma instancia de Sea Objeto e' uma instancia de Ocean Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 873-882	Objeto e' uma instancia de SeaPort Objeto Objeto e' uma instancia de Sea Objeto e' uma instancia de Ocean Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5942-5947	Objeto e' uma instancia de Reef Objeto Objeto e' uma instancia de Area Aquatica Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15661-15666	Objeto e' uma instancia de Sidewalk Objeto Objeto e' uma instancia de Roadway Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 742-750	Objeto e' uma instancia de Checkpoint Objeto Objeto e' uma instancia de Road Objeto e' Near em relacao a Objeto Area Geografica Area Geografica BorderFn Area Geografica and Area Geografica e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	Objeto Corpuscular e' uma instancia de Hammock Tecido e' feito de Objeto Corpuscular Objeto Objeto and Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto Corpuscular Objeto e' conectado com Objeto Corpuscular Objeto e' uma instancia de Area terrestre Objeto Corpuscular e' situado em Objeto Objeto Corpuscular e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 910-915	nearOrientation Objeto and Fisico Objeto Objeto e' uma instancia de Fisico Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6670-6677	neighbor Humano and Humano PermanentResidence PermanentResidence a casa de Humano e' PermanentResidence a casa de Humano e' PermanentResidence PermanentResidence e' igual a PermanentResidence PermanentResidence e' Near em relacao a PermanentResidence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17159-17161	Objeto e' Near em relacao a Objeto Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 720-722	Objeto e' Near em relacao a Objeto Objeto e' Near em relacao a Objeto

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners