Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - OrganicObject
OrganicObject(organic object)
acicula, adenoid, adrenal, analogous, areolar, areolate, assurgent, autologous, bicapsular, bilocular, biloculate, bodily, cancellate, cancellated, cancellous, clathrate, corporal, corporeal, dedifferentiated, differentiated, generalised, generalized, heterologic, heterological, heterologous, homologic, homological, homologous, inorganic, man-made, monovalent, nonsynthetic, organic, pedunculate, physical, polyvalent, pruning, seasoned, semisynthetic, somatic, stalked, synthetic, uncured, unicellular, unseasoned, versatile

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 14502-14505
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 14501-14501 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14499-14499 Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14500-14500 Organic object is a subclass of organic thing

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 447-447 Chemical agent is disjoint from organic object
No TPTP formula. May not be expressible in strict first order. Economy.kif 5840-5840 Timber is internally related to organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15066-15066 Anatomical structure is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 85-85 Biopolymer is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 647-647 Gene is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 351-351 Miswak is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 51-51 Nucleotide is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14507-14507 Organism is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28-28 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 963-963 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. english_format.kif 1133-1133 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. french_format.kif 640-640 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 171-171 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-it.txt 174-174 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2324-2324 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 592-592 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 208-208 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-de.txt 467-467 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 661-661 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 175-175 Organism remains is a subclass of organic object

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14475-14475 The number 1 argument of developmental form is an instance of organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18663-18663 The number 1 argument of Dead fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Economy.kif 5590-5590 The number 1 argument of organic object fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Geography.kif 2770-2770 The number 2 argument of bioindicator for habitat is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13539-13539 The number 1 argument of secretes substance is a subclass of organic object

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 234-239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 58-65
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 122-130

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18222-18226
No TPTP formula. May not be expressible in strict first order. Merge.kif 10362-10377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19655-19663
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21628-21637