TreeView Knowledge Base Browser - OrganicObject

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ThinningPolarIcepackIssue

Sigma KEE - OrganicObject

OrganicObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3369-3371
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14371-14374
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 907-907
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14370-14370	劃分 OrganicObject, Organism and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14368-14368	子類 OrganicObject and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14369-14369	子類 OrganicObject and OrganicThing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 447-447	不相交的化學劑 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5498-5498	相關的內部概念原木材 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14935-14935	子類 AnatomicalStructure and OrganicObject
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 82-82	子類 Biopolymer and OrganicObject
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 640-640	子類 Gene and OrganicObject
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 351-351	子類 miswak and OrganicObject
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 50-50	子類 Nucleotide and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14376	子類 Organism and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28-28	子類 OrganismRemains and OrganicObject
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 963-963
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1133-1133
No TPTP formula. May not be expressible in strict first order.	french_format.kif 640-640
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 171-171
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 174-174
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2324-2324
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 592-592
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 208-208
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 661-661
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 175-175

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14344-14344	域發展形式, 1 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 115-115	域子類 DeadFn, 1 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5249-5249	域子類 OrganicObjectFn, 1 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2612-2612	域子類棲息地的生物指示器, 2 and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12207-12207	域子類分泌物質, 1 and OrganicObject

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 241-246	例 Entity and OrganicObject 例 Entity and DevelopmentalAttribute 持有期間 TimePosition and 屬性 Entity and Entity 持有期間 TimePosition and 發展形式 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	例 Entity and OrganicObject 例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent 結果 Process and Entity 例 Entity and OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	例 Entity and OrganismRemains 例 Process and Death 體驗者 Process and AutonomousAgent 例 AutonomousAgent and AutonomousAgentTYPE 子類 AutonomousAgentTYPE and OrganicObject 結果 Process and Entity 例 Entity and 一個 dead AutonomousAgentTYPE

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18058-18062	attribute Object and Attribute 例 Attribute and BiologicalAttribute 例 Object and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間未來何時 Process and attribute Entity and 死持有期間眼前的未來何時 Process and 部分 entity and Entity 持有期間不久的過去何時 Process and 部分 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18083-18091	例 Process and 收穫結果 Process and Entity EntityRG 例 Entity and 一個 dead EntityRG 子類 EntityRG and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20040-20049	attribute Object and 飼料有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and OrganicObject 例 Object and food for 家畜

statement

No TPTP formula. May not be expressible in strict first order.

WMD.kif 451-451

子類化學劑 and 補充 OrganicObject

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