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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FemaleConnector
FemaleConnector(female)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2795-2796
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2792-2793
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2787-2790
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2798-2800
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2786-2786 Female is an instance of device attribute

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2808-2808
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2804-2804
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2807-2807
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2803-2803
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2802-2802
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2806-2806
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2809-2809
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2805-2805

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2811-2813

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2746-2754
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2577-2579


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



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